161. Introduction to languages, machines and logic
پدیدآورنده : / Alan P. Parkes
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع : Formal languages,Machine theory
رده :
QA267
.
3
.
P37
2002
162. Introduction to languages, machines and logic: computable languages, abstract machines and formal logic
پدیدآورنده : Parkes, Alan
کتابخانه: كتابخانه مركزی دانشگاه صنعتي شريف (تهران)
موضوع : ، Formal languages,، Machine theory
رده :
QA
267
.
3
.
P37
2002
163. Introduction to the theory of computation
پدیدآورنده : Engeler, Erwin.
موضوع : ، Sequential machine theory,، Recursive functions,، Formal languages
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
164. Language and Automata Theory and Applications
پدیدآورنده :
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Machine theory -- Congresses,Formal languages -- Congresses,Mathematical linguistics -- Congresses,نظریه ماشین -- کنگره‌ها,زبانهای صوری -- کنگره‌ها,زبان‌شناسی ریاضی -- کنگره‌ها
رده :
E-Book
,
165. Language and Automata Theory and Applications :
پدیدآورنده : Carlos Martín-Vide, Alexander Okhotin, Dana Shapira (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Formal languages, Congresses.,Machine theory, Congresses.,Mathematical linguistics, Congresses.,Formal languages.,Machine theory.,Mathematical linguistics.
رده :
QA267
.
L38
2019eb
166. Language and automata theory and applications
پدیدآورنده : \ Adrian-Horia Dediu, Enrico Formenti, Carlos Martín-Vide, Bianca Truthe (eds.)
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Machine theory -- Congresses.,Formal languages -- Congresses.,Mathematical linguistics -- Congresses.,نظریه ماشین -- کنگره ها ,زبانهای صوری -- کنگره ها ,زبان‌شناسی ریاضی -- کنگره ها
رده :
QA
267
.
L32
2015
E-Book
,
167. Language and automata theory and applications
پدیدآورنده : Adrian-Horia Dediu, Carlos Martín-Vide (eds.)
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Artificial intelligence, Congresses,Formal languages, Congresses,Machine theory, Congresses,Mathematical linguistics, Congresses
رده :
QA267
.
L38
2012eb
168. Language and automata theory and applications :
پدیدآورنده : edited by Shmuel Tomi Klein, Carlos Martín-Vide, Dana Shapira.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Formal languages, Congresses.,Machine theory, Congresses.,Mathematical linguistics, Congresses.,Algorithms & data structures.,Artificial intelligence.,Computer programming-- software development.,Computers-- Intelligence (AI) & Semantics.,Computers-- Mathematical & Statistical Software.,Computers-- Programming-- Algorithms.,Computers-- Programming-- General.,Formal languages.,Machine theory.,Mathematical linguistics.,Mathematical theory of computation.,Mathematics-- Logic.,Maths for computer scientists.
رده :
QA267
.
L38
2018
169. Languages and machines :
پدیدآورنده : Thomas A. Sudkamp
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Computational complexity,Formal languages,Machine theory,automate fini,Complejidad computacional,décidabilité,grammaire formelle,langage formel,langage programmation,Lenguaje formal,machine Turing,Teoría de las máquinas,théorie complexité
رده :
QA267
.
3
.
S83
1997
170. Languages and machines: an introduction to the theory of computer science
پدیدآورنده : Sudkamp, Thomas A.
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه صنعتی خواجه نصير الدين طوسى (تهران)
موضوع : ، Formal languages,، Machine theory,، Computational complexity
رده :
QA
267
.
3
.
S83
1997
171. Languages and machines; an introduction to the theory of computer science
پدیدآورنده : Sudkamp, Thomas A
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه بیرجند (خراسان جنوبی)
موضوع : ، Formal languages,، Machine theory,، Computational complexity
رده :
QA
267
.
3
.
S83
1988
172. Languages and machines : an introduction to the theory of computer science
پدیدآورنده : Sudkamp, Thomas A.
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : ، Formal languages,، Machine theory,، Computational complexity
رده :
QA
267
.
3
.
S93L2
2006
173. Languages and machines : an introduction to the theory of computer science
پدیدآورنده : / Thomas A. Sudkamp
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه اراک (مرکزی)
موضوع : Formal languages,Machine theory,Computational complexity
رده :
004
.
20
S943l
174. Languages and machines : an introduction to the theory of computer science
پدیدآورنده : Sudkamp, Thomas A.
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی امیرکبیر (تهران)
موضوع : Formal languages , Machine theory , Computational complexity
رده :
QA
267
.
3
.
S83
1997
175. Languages and machines: an introduction to the theory of computer science
پدیدآورنده : Sudkamp, Thomas A.
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع : ، Formal languages,، Machine theory,، Computational complexity
رده :
QA
267
.
3
.
S83
1997
176. Languages & machines:an introduction to the theory of computer
پدیدآورنده : SUDKAMP,THOMAS A
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی امیرکبیر (تهران)
موضوع : FORMAL LANGUAGES , MACHINE THEORY , COMPUTATIONAL COMPLEXITY
رده :
QA
267
.
3
.
S83
177. Lecons sur la theorie des automates mathematiques
پدیدآورنده : Boucher, Claude
کتابخانه: كتابخانه مركزی دانشگاه صنعتي شريف (تهران)
موضوع : ، Machine theory,، Formal languages
رده :
QA
267
.
B68
178. Machines, languages, and computation
پدیدآورنده : Denning, Peter J.
کتابخانه: كتابخانه مركزی دانشگاه صنعتي شريف (تهران)
موضوع : ، Machine theory,، Formal languages
رده :
QA
267
.
D45
179. Mathematical foundations of computer science
پدیدآورنده : edited by A. Blikle
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : Congresses ، Sequential machine theory,Congresses ، Formal languages,Congresses ، Programming )Electronic computers(
رده :
QA
267
.
5
.
S4
S89
1974
